On Collapsing Narrowing
نویسنده
چکیده
منابع مشابه
Complete Strategies for Term Graph Narrowing
Narrowing is a method for solving equations in the equational theories of term rewriting systems. Unification and rewriting, the central operations in narrowing, are often implemented on graph-like data structures to exploit sharing of common subexpressions. In this paper, we study the completeness of narrowing in graph-based implementations. We show that the well-known condition for the comple...
متن کاملComplete Strategies for Admissible-Graph Collapsing Narrowing
Narrowing constitutes the basis of the operational semantics of modern declarative languages which integrate functional and logic programming paradigms. Efficient implementations of these languages consider first-order terms as graphs. In this paper, we investigate narrowing in the setting of graph rewriting systems. We take the full advantage of graph structures by allowing maximal sharing of ...
متن کاملDesign and Validation of a Conceptual Model for Narrowing the Gap between Intended, Implemented, and Attained Curricula in the Public Education System in Iran
Abstract: The present research aimed at developing and validating a conceptual model for narrowing the gap between intended, implemented, and attained curricula in the public education system in Iran. Two fundamental questions guided this investigation: what model can be developed to reduce the gap between the three mentioned curricula? To what extent does the proposed model gain the approval? ...
متن کاملUse of Hierarchy in Fault Collapsing
We discuss the advantage of using hierarchy in testing. Our demonstration is based on the problem of fault collapsing. Though this problem is not considered to be too complex, the time of collapsing faults in moderately large circuits can be several hours or more. This can be considerably shortened by hierarchical fault collapsing. Large circuits are efficiently described using hierarchy, which...
متن کاملOn the Aggregation of Multimarker Information for Marker-Set and Sequencing Data Analysis: Genotype Collapsing vs. Similarity Collapsing
Methods that collapse information across genetic markers when searching for association signals are gaining momentum in the literature. Although originally developed to achieve a better balance between retaining information and controlling degrees of freedom when performing multimarker association analysis, these methods have recently been proven to be a powerful tool for identifying rare varia...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999